Injectives in Residuated Algebras
نویسنده
چکیده
Injectives in several classes of structures associated with logic are characterized. Among the classes considered are residuated lattices, MTLalgebras, IMTL-algebras, BL-algebras, NM-algebras and bounded hoops.
منابع مشابه
Semi-G-filters, Stonean filters, MTL-filters, divisible filters, BL-filters and regular filters in residuated lattices
At present, the filter theory of $BL$textit{-}algebras has been widelystudied, and some important results have been published (see for examplecite{4}, cite{5}, cite{xi}, cite{6}, cite{7}). In other works such ascite{BP}, cite{vii}, cite{xiii}, cite{xvi} a study of a filter theory inthe more general setting of residuated lattices is done, generalizing thatfor $BL$textit{-}algebras. Note that fil...
متن کاملMultiplicities of Indecomposable Injectives
Several results about the multiplicities of indecomposable injectives in the minimal injective resolution of a ring exist in the literature. Mostly these apply to universal enveloping algebras of finite dimensional solvable Lie algebras, and to Gorenstein noetherian PI local rings. We unify these results and extend them to the much wider class of rings with Auslander dualizing complexes.
متن کاملFilters in Residuated Algebras
In this paper we study the filters in residuated algebras. We investigate the properties of the filters. We also define a congruence relation on the residuated algebras corresponding to a given filter and study its properties. We define the quotient algebra induced by this relation. We prove that this is also a residuated algebra with special properties.
متن کاملFilters of residuated lattices and triangle algebras
An important concept in the theory of residuated lattices and other algebraic structures used for formal fuzzy logic, is that of a filter. Filters can be used, amongst others, to define congruence relations. Specific kinds of filters include Boolean filters and prime filters. In this paper, we define several different filters of residuated lattices and triangle algebras and examine their mutual...
متن کاملOn residuated lattices with universal quantifiers
We consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $X$, $(X, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $X$. We also show that, for a strong residuated lattice $X$, $bigcap {P_{lambda} ,|,P_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...
متن کامل